Announcement about sending journal by courier
نویسندگان
چکیده
منابع مشابه
About intuitionistic public announcement logic
Public announcement logic (PAL) is a logic for reasoning about the dynamic of knowledge in a multi-agent system in which public announcements are made. Syntactically, public announcements are modal formulas. Semantically, they correspond to restrictions of models. In [10], Ma et al. use the standard toolkit of duality theory in modal logic to define an algebraic semantics for a combination of I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indian Journal of Clinical Biochemistry
سال: 2001
ISSN: 0970-1915,0974-0422
DOI: 10.1007/bf02867585